🧮 SMT Solvers

Z3, CVC5, Satisfiability, Constraint Solving, Automated Reasoning

Feeds to Scour
SubscribedAll
Scoured 256383 posts in 1.92 s
A Validated Semantics for LLVM IR
sf.snu.ac.kr·11h
🏗️MLIR
Preview
Report Post
Java Mastery: Rescue Princess with Conditional Execution and Student Score Ranking System
dev.to·5h·
Discuss: DEV
⚡Async Programming
Preview
Report Post
<p>**Abstract:** This paper introduces a novel framework, Automated Protocol Refinement for Enhanced Algorithm Validation (APREAV), to significantly improve the...
freederia.com·12h
🌀Naiad
Preview
Report Post
the myth of multitasking and other things i learned today
lollar.bearblog.dev·4h
⏭️Skip Lists
Preview
Report Post
AI-Driven Formal Theorem Proving in the Lean Ecosystem
leandojo.org·1d
📐TLA+
Preview
Report Post
SMART SLM: Structured Memory and Reasoning Transformer, A Small Language Model for Accurate Document Assistance
arxiv.org·2d
📝Parsing
Preview
Report Post
Pokémon Team Optimization
nchagnet.pages.dev·1d·
Discuss: Hacker News
⚖️Y-Fast Tries
Preview
Report Post
jart/jtckdint: C23 Checked Arithmetic
github.com·1d
🔬Valgrind Tools
Preview
Report Post
Introducing the XLab AI Security Guide
lesswrong.com·5h
🛡️AI Security
Preview
Report Post
Help me solve this problem
reddit.com·1d·
Discuss: r/C_Programming
💃Dancing Links
Preview
Report Post
Information, Physics, and Computation (Oxford Graduate Texts): Mézard, Marc, Montanari, Andrea: 8601410201722: Amazon.com: Books
amazon.com·1d
📊Information Theory
Preview
Report Post
From Zero to QED: An informal introduction to formality in Lean 4
sdiehl.github.io·1d
💎Refinement Types
Preview
Report Post
Learning Zig
blog.senko.net·2h
⚙️Zig
Preview
Report Post
Improved Simulation of Stabilizer Circuits
paperium.net·14h·
Discuss: DEV
⚛️Quantum Computing
Preview
Report Post
Any useful resources for improving the quality of the vscode projects?
addyo.substack.com·5h·
Discuss: r/vscode
💬Prompt Engineering
Preview
Report Post
I'm looking for high-level evaluations for a private and unique heuristic logic engine.
reddit.com·1d·
Discuss: r/LLM
🔍Datalog Engines
Preview
Report Post
TOON for LLMs: A Comparative Performance Analysis against JSON
gist.github.com·6h·
Discuss: DEV
🦙Ollama
Preview
Report Post
Department of Computer Science and Technology – Technical reports: UCAM-CL-TR-949
cl.cam.ac.uk·52m·
Discuss: Hacker News
🏷️Memory Tagging
Preview
Report Post
Undergraduate education in the age of large language models
thehindubusinessline.com·22h
📝NLP
Preview
Report Post
Virtualization: Theory to Silicon
pooladkhay.com·9h·
Discuss: Hacker News
🔐Capability Systems
Preview
Report Post